1.
پدیدآورنده : پرهیزکاری ،مسعود,مسعود پرهیزگاری
کتابخانه: کتابخانه فناوری اطلاعات (کتابخانه های سازمان فرهنگی هنری شهرداری تهران) (تهران)
موضوع : ، زبانهای صوری ، , ، نظریه ماشین ، , ، دانشگاهها و مدارس عالی ،ایران -- آزمونها, ، آزمون دوره های تحصیلات تکمیلی ،ایران
رده :
511
/3
پ
418
ن
1382
2.
پدیدآورنده : صفایی ،فرشاد
کتابخانه: کتابخانه شهدای حصارک (کتابخانه های سازمان فرهنگی هنری شهرداری تهران) (تهران)
موضوع : ، زبانهای صوری،آزمونها و تمرینها عالی , ، نظریه ماشین،آزمونها و تمرینها عالی
رده :
511
،
/3
،
ص
678
ه
،
1386
3.
پدیدآورنده : صفایی ،فرشاد
کتابخانه: کتابخانه سلام (کتابخانه های سازمان فرهنگی هنری شهرداری تهران) (تهران)
موضوع : ، زبانهای صوری،آزمونها و تمرینها عالی , ، نظریه ماشین،آزمونها و تمرینها عالی
رده :
511
،
/3
،
ص
678
ه
،
1386
4.
پدیدآورنده : صفایی ،فرشاد
کتابخانه: کتابخانه امام خمینی (ره) (کتابخانه های سازمان فرهنگی هنری شهرداری تهران) (تهران)
موضوع : ، زبانهای صوری،آزمونها و تمرینها عالی , ، نظریه ماشین،آزمونها و تمرینها عالی
رده :
511
،
/3
،
ص
678
ه
،
1386
5. <An> introduction to the theory of formal languages and automata
پدیدآورنده : \ Willem J.M. Levelt.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal languages,Machine theory,نظریه ماشین,زبانهای صوری,a03,a04,a04,a03
رده :
QA
267
.
3
.
L4I5
2008
E
.
Book
,
6. Computability, Complexity, and Languages
پدیدآورنده : \ Martin D. Davis, Elaine J. Weyuker
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Machine theory,Computational complexity,Formal languages,نظریه ماشین,پیچیدگی محاسباتی,زبانهای صوری
رده :
E-Book
,
7. Descriptional Complexity of Formal Systems
پدیدآورنده : \ Jeffrey Shallit , Alexander Okhotin (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal methods (Computer science) -- Congresses.,Formal languages -- Congresses.,روش‌های صوری (کامپیوتر) -- کنگره ها ,زبانهای صوری -- کنگره ها
رده :
QA
76
.
9
.
D4
2015
E-Book
,
8. Developments in language theory
پدیدآورنده : \ Igor Potapov (Ed.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal languages -- Congresses.,Computation by Abstract Devices.,Mathematical Logic and Formal Languages,زبانهای صوری -- کنگره ها ,منطق ریاضی و زبان های صوری
رده :
QA
267
.
3
.
D48
2015
E-Book
,
9. Language and Automata Theory and Applications
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Machine theory -- Congresses,Formal languages -- Congresses,Mathematical linguistics -- Congresses,نظریه ماشین -- کنگره‌ها,زبانهای صوری -- کنگره‌ها,زبان‌شناسی ریاضی -- کنگره‌ها
رده :
E-Book
,
10. Language and automata theory and applications
پدیدآورنده : \ Adrian-Horia Dediu, Enrico Formenti, Carlos Martín-Vide, Bianca Truthe (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Machine theory -- Congresses.,Formal languages -- Congresses.,Mathematical linguistics -- Congresses.,نظریه ماشین -- کنگره ها ,زبانهای صوری -- کنگره ها ,زبان‌شناسی ریاضی -- کنگره ها
رده :
QA
267
.
L32
2015
E-Book
,
11. Logic, language, information, and computation
پدیدآورنده : \ Valeria de Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina G. de Oliveira (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : .Language and logic -- Congresses.,Symbolic and Algebraic Manipulation.,Mathematical Logic and Formal Languages,زبان و منطق -- کنگره ها,منطق ریاضی و زبانهای صوری
رده :
P
39
.
L644
2015
E-Book
,
12. Scientific Applications of Language Methods
پدیدآورنده : \ edited by Carlos Martín-Vide.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal languages,Natural language processig (computer science),زبانهای صوری,پردازش زبان طبیعی,a03,a04,a03,a04
رده :
QA
267
.
3
.
S28
2011
E-Book
,
13. Theory of Finite Automata
پدیدآورنده : \ John Carroll, Darrell Long.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal languages,زبانهای صوری,a04,a04,Sequential machine theory.,ماشین حالت‌های متناهی
رده :
E-Book
,
14. ارشد نظريه زبانها و ماشينها
پدیدآورنده : گردآوري و تدوين بهزاد مقصودي, محمدکريم سهرابي
کتابخانه: كتابخانه عمومی شهید باهنر (خراسان رضوی)
موضوع : نظريه ماشين -- آزمونها و تمرينها (عالي) زبانهاي صوري -- آزمونها و تمرينها (عالي) آزمون دوره‌هاي تحصيلات تکميلي - ايران دانشگاهها و مدارس عالي -- ايران -- آزمونها
رده :
378
1664-
م
727
ن
15. ارشد نظریه زبانها و ماشینها
پدیدآورنده : سما‌واتی،حامد ۱۳۶۱
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع : راهنما‌ی آموزشی (عالی) زبانهای صوری,آزمونها و تمرینها (عالی) زبانهای صوری,راهنما‌ی آموزشی (عالی) نظریه ماشین,آزمونها و تمرینها (عالی) نظریه ماشین
رده :
QA
۲۶۷
/
۳
/
س
۸
الف
۴
16. ارشد نظريه زبانها و ماشينها رشته مهندسي کامپيوتر
پدیدآورنده : مولف حامد سماواتي
کتابخانه: كتابخانه عمومی آيت الله خامنه اى (قم)
موضوع : زبانهاي صوري -- آزمونها و تمرينها (عالي) نظريه ماشين -- آزمونها و تمرينها (عالي) دانشگاهها و مدارس عالي -- ايران -- آزمونها آزمون دوره هاي تحصيلات تکميلي -- ايران نظريه ماشين -- راهنماي آموزشي (عالي) زبانهاي صوري -- راهنماي آموزشي
رده :
511
307-
س
737
الف
17. آزمون‌های نظریه زبانها و ماشینها
پدیدآورنده : / مولف فرشید شیرافکن.,شیرافکن
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : دانشگاهها و مدارس عالی,زبانهای صوری,نظریه ماشین,آزمون دوره‌های تحصیلات تکمیلی,-- آزمونها و تمرینها (عالی), -- آزمونها و تمرینها (عالی), -- آزمونها, -- ایران, -- ایران
رده :
LB
۲۳۵۳
/
ش
۹۸۲۷
آ
۴۵۷ ۱۳۹۰
18. انطباق و تعیین مختصه‌های روان‌سنجی مقیاس‌های رشدی زبان رینل برای کودکان ۲-۷ سال فارسی زبان
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه علوم بهزیستی و توانبخشی (تهران)
موضوع : Persian Language,language Development
19. بررسی روش هندسی در فلسفه اسپینوزا
پدیدآورنده : /سمیه ولی‌زاده
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع :
20. بررسی و تحلیل تحولات شعر معاصر فارسی بر بنیاد تاثیرپذیری از حوادث اجتماعی ۱۳۰۰-۱۳۵۷
پدیدآورنده : /محمد خاکپور
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Survey and analysis,Social events,Contemporary Persian poet,new poet progress,Artistic functions
